Disrupting algorithms and software

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Twin Studies: Software and Algorithms

In 1865, Sir Francis Galton (1822–1911) formally described the differences between identical (monozygotic, MZ) and fraternal (dizygotic, DZ) twins, and suggested that MZ twins were genetically identical (Galton, 1865). This distinction yields a natural experiment, because comparison of the similarity of these two types yields information about the relative importance of heredity versus environm...

متن کامل

Software Cost Estimation by a New Hybrid Model of Particle Swarm Optimization and K-Nearest Neighbor Algorithms

A successful software should be finalized with determined and predetermined cost and time. Software is a production which its approximate cost is expert workforce and professionals. The most important and approximate software cost estimation (SCE) is related to the trained workforce. Creative nature of software projects and its abstract nature make extremely cost and time of projects difficult ...

متن کامل

Logics and Algorithms for Software Model Checking

LOGICS AND ALGORITHMS FOR SOFTWARE MODEL CHECKING Swarat Chaudhuri Rajeev Alur Software model checking, an algorithmic, specification-driven approach to software analysis, has emerged as an active area of research in the last few years, producing a number of successful tools. The central question here is: does a model of a procedural program (typically a context-sensitive or pushdown abstractio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGHPC Connect

سال: 2019

ISSN: 2168-135X

DOI: 10.1145/3329082.3329086